((v1 v2 0) (v1 v3 6) (v2 v3 6) (v1 v4 7) (v2 v4 0) (v3 v4 3) (v1 v5 2) (v2 v5 6) (v3 v5 9) (v4 v5 9) (v1 v6 1) (v2 v6 6) (v3 v6 8) (v4 v6 3) (v5 v6 0) (v1 v7 8) (v2 v7 7) (v3 v7 8) (v4 v7 0) (v5 v7 1) (v6 v7 9) (v1 v8 3) (v2 v8 6) (v3 v8 3) (v4 v8 4) (v5 v8 8) (v6 v8 3) (v7 v8 9))
84
((v7 v5) (v4 v5))